(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun d () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(declare-fun g () Real)
(declare-fun h () Real)
(declare-fun i () Real)
(assert (forall ((k Real)) (and (< 0 f) (not (= (< 0 d) (not (= (< k d) (< g a))))))))
(assert (forall ((l Real)) (or (and (= (< h 0) (and (> (+ (* (- 1 b) h) i) (- e)) (< h a))) (< i 0) (< f b)) (< e a))))
(assert (= a 0))
(check-sat)
